1. Computability and logic
پدیدآورنده : George S. bools, John P.Burgess, Richard C. Jeffrey
کتابخانه: کتابخانه پردیس هنرهای زیبا دانشگاه تهران (تهران)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66
